Geometric Logic for Policy Analysis∗
نویسندگان
چکیده
We describe a new computational engine for model-finding and its application to security policy analysis. We evaluate a preliminary implementation of our algorithm by comparing with a mature tool, the Margrave Policy Analyzer, with respect to performance and quality of output.
منابع مشابه
A New Framework for Hegemonic Analysis of Monetary Policy: The Case of Iran
Monetary policy rule might be helpful to avoid the problem of time inconsistency provided there is a commitment to the rule. The commitment is the ability of a government to bind future policies. However, it doesn’t include intrinsic motivations. Therefore, hegemony, which includes both intrinsic and extrinsic motivations, better solves the problem of time inconsistency. In this paper, we expl...
متن کاملExtended Geometric Processes: Semiparametric Estimation and Application to ReliabilityImperfect repair, Markov renewal equation, replacement policy
Lam (2007) introduces a generalization of renewal processes named Geometric processes, where inter-arrival times are independent and identically distributed up to a multiplicative scale parameter, in a geometric fashion. We here envision a more general scaling, not necessar- ily geometric. The corresponding counting process is named Extended Geometric Process (EGP). Semiparametric estimates are...
متن کاملWhy Even the Logic of Re-Defined Choice May Still Contradict the Logic of Care in Public Health Systems?
متن کامل
The Conceptualization of Value in the Value Proposition of New Health Technologies; Comment on “Providing Value to New Health Technology: The Early Contribution of Entrepreneurs, Investors, and Regulatory Agencies”
Lehoux et al provide a highly valid contribution in conceptualizing value in value propositions for new health technologies and developing an analytic framework that illustrates the interplay between health innovation supply-side logic (the logic of emergence) and demand-side logic (embedding in the healthcare system). This commentary brings forth several considerations on this article. First, ...
متن کاملSite selection for wastewater treatment plant using integrated fuzzy logic and multicriteria decision model: A case study in Kahak, Iran
One of the environmental issues in urban planning is finding a suitable site for constructing infrastructures such as water and wastewater treatment plants. There are numerous factors to be considered for this purpose, which make decision-making a complex task. We used an integrated fuzzy logic and multicriteria decision model to select a suitable site for establishing wastewater treatment plan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013